Search for: All records

A representation of\mathfrak{gl}(V)=V \otimes V^{\ast}is a linear map\mu \colon \mathfrak{gl}(V) \otimes M \rightarrow Msatisfying a certain identity. By currying, giving a linear map\muis equivalent to giving a linear mapa \colon V \otimes M \rightarrow V \otimes M, and one can translate the condition for\muto be a representation into a condition ona. This alternate formulation does not use the dual ofVand makes sense for any objectVin a tensor category\mathcal{C}. We call such objects representations of thecurried general linear algebraonV. The currying process can be carried out for many algebras built out of a vector space and its dual, and we examine several cases in detail. We show that many well-known combinatorial categories are equivalent to the curried forms of familiar Lie algebras in the tensor category of linear species; for example, the titular Brauer category is the curried form of the symplectic Lie algebra. This perspective puts these categories in a new light, has some technical applications, and suggests new directions to explore. 

We study the category of S p \mathbf {Sp} -equivariant modules over the infinite variable polynomial ring, where S p \mathbf {Sp} denotes the infinite symplectic group. We establish a number of results about this category: for instance, we show that every finitely generated module M M fits into an exact triangle T → M → F → T \to M \to F \to where T T is a finite length complex of torsion modules and F F is a finite length complex of “free” modules; we determine the Grothendieck group; and we (partially) determine the structure of injective modules. We apply these results to show that the twisted commutative algebras Sym ⁡ ( C ∞ ⊕ ⋀ 2 C ∞ ) \operatorname {Sym}(\mathbf {C}^{\infty } \oplus \bigwedge ^2{\mathbf {C}^{\infty }}) and Sym ⁡ ( C ∞ ⊕ Sym 2 ⁡ C ∞ ) \operatorname {Sym}(\mathbf {C}^{\infty } \oplus \operatorname {Sym}^2{\mathbf {C}^{\infty }}) are noetherian, which are the strongest results to date of this kind. We also show that the free 2-step nilpotent twisted Lie algebra and Lie superalgebra are noetherian. 

We extend the theory of Koszul modules to the bi-graded case, and prove a vanishing theorem that allows us to show that the canonical ribbon conjecture of Bayer and Eisenbud holds over a field of characteristic $$0$$ or at least equal to the Clifford index. Our results confirm a conjecture of Eisenbud and Schreyer regarding the characteristics where the generic statement of Green's conjecture holds. They also recover and extend to positive characteristics the results of Voisin asserting that Green's conjecture holds for generic curves of each gonality.